home *** CD-ROM | disk | FTP | other *** search
/ Cream of the Crop 20 / Cream of the Crop 20 (Terry Blount) (1996).iso / os2 / xdsn217.zip / ISODEF / TERMINAT.def < prev    next >
Text File  |  1994-12-22  |  392b  |  13 lines
  1. DEFINITION MODULE TERMINATION;
  2.  
  3. (* Provides facilities for enquiries concerning the occurrence of termination events. *)
  4.  
  5. PROCEDURE IsTerminating (): BOOLEAN ;
  6.   (* Returns true if any coroutine has started  program termination and false otherwise. *)
  7.  
  8. PROCEDURE HasHalted (): BOOLEAN ;
  9.   (* Returns true if a call to HALT has been made and false otherwise. *)
  10.  
  11. END TERMINATION.
  12.  
  13.